package br.usp.ime.ingpos.testes.modelo;

import org.junit.Test;

import br.usp.ime.ingpos.modelo.CEP;
import br.usp.ime.ingpos.testes.BancoDeDadosTestCase;

public class CEPTeste extends BancoDeDadosTestCase {

	public CEPTeste(String name) {
		super(name);
	}

	@Test
	public void testCEP () {
		String cepAleatorio = "01132-123";
		CEP cep = new CEP();
		
		assertNotNull(cep);
		
		cep.setCep(cepAleatorio);
		assertEquals (cep.getCep(), cepAleatorio);
	}
}
